It is a popular thought that emotions play an important epistemic role. Thus, a considerable number of philosophers find it compelling to suppose that emotions apprehend the value of objects and events in our surroundings. I refer to this view as the Epistemic View of emotion. In this paper, my concern is with a rivaling picture of emotion, which has so far received much less attention. On this account, emotions do not constitute a form of epistemic access to specific axiological (...) aspects of their objects. Instead it proposes that they are ways of taking a stand or position on the world. I refer to this as the Position-Taking View of emotion. Whilst some authors seem sympathetic to this view, this it has so far not been systematically motivated and elaborated. In this paper, I fill this gap and propose a more adequate account of our emotional engagement with the world than the predominant epistemic paradigm. I start by highlighting the specific way in which emotions are directed at something, which I contrast with the intentionality of perception and other forms of apprehension. I then go on to offer a specific account of the valence of emotion and show how this account and the directedness of emotions makes them intelligible as a way of taking a position on something. (shrink)

Goethe's objections to Newton's theory of light and colours are better than often acknowledged. You can accept the most important elements of these objections without disagreeing with Newton about light and colours. As I will argue, Goethe exposed a crucial weakness of Newton's methodological self-assessment. Newton believed that with the help of his prism experiments, he could prove that sunlight was composed of variously coloured rays of light. Goethe showed that this step from observation to theory is more problematic than (...) Newton wanted to admit. By insisting that the step to theory is not forced upon us by the phenomena, Goethe revealed our own free, creative contribution to theory construction. And Goethe's insight is surprisingly significant, because he correctly claimed that all of the results of Newton's prism experiments fit a theoretical alternative equally well. If this is correct, then by suggesting an alternative to a well-established physical theory, Goethe developed the problem of underdete... (shrink)

Public health care interventions—regarding vaccination, obesity, and HIV, for example—standardly take the form of information dissemination across a community. But information networks can vary importantly between different ethnic communities, as can levels of trust in information from different sources. We use data from the Greater Pittsburgh Random Household Health Survey to construct models of information networks for White and Black communities--models which reflect the degree of information contact between individuals, with degrees of trust in information from various sources correlated with (...) positions in that social network. With simple assumptions regarding belief change and social reinforcement, we use those modeled networks to build dynamic agent-based models of how information can be expected to flow and how beliefs can be expected to change across each community. With contrasting information from governmental and religious sources, the results show importantly different dynamic patterns of belief polarization within the two communities. (shrink)

Recently, philosophers have turned their attention to the question, not when a given agent is blameworthy for what she does, but when a further agent has the moral standing to blame her for what she does. Philosophers have proposed at least four conditions on having “moral standing”: -/- 1. One’s blame would not be “hypocritical”. 2. One is not oneself “involved in” the target agent’s wrongdoing. 3. One must be warranted in believing that the target is indeed blameworthy for the (...) wrongdoing. 4. The target’s wrongdoing must some of “one’s business”. -/- These conditions are often proposed as both conditions on one and the same thing, and as marking fundamentally different ways of “losing standing.” Here I call these claims into question. First, I claim that conditions (3) and (4) are simply conditions on different things than are conditions (1) and (2). Second, I argue that condition (2) reduces to condition (1): when “involvement” removes someone’s standing to blame, it does so only by indicating something further about that agent, viz., that he or she lacks commitment to the values that condemn the wrongdoer’s action. The result: after we clarify the nature of the non-hypocrisy condition, we will have a unified account of moral standing to blame. Issues also discussed: whether standing can ever be regained, the relationship between standing and our "moral fragility", the difference between mere inconsistency and hypocrisy, and whether a condition of standing might be derived from deeper facts about the "equality of persons". (shrink)

Results: We analyzed 1,402 surveys and 15 in-depth interviews. Many (32%) CL participants reported greater difficulty refilling medications and a minority (14%) reported greater difficulty accessing HIV care during the pandemic. Most (99%) Opt4Mamas participants reported no difficulty refilling medications or accessing HIV/pregnancy care. Among the CL participants, older women were less likely (aOR = 0.95, 95% CI: 0.92–0.98) and women with more children were more likely (aOR = 1.13, 95% CI: 1.00–1.28) to report difficulty refilling medications. Only 2% of (...) CL participants reported greater difficulty managing FP and most (95%) reported no change in likelihood of using FP or desire to get pregnant. Qualitative analysis revealed three major themes: (1) adverse organizational/economic implications of the pandemic, (2) increased importance of pregnancy prevention during the pandemic, and (3) fear of contracting COVID-19. (shrink)

Nietzsche and Shaw are famous and infamous: famous for their innovative and influential forms of writing, but infamous for their apparent support of totalitarianism and Nazism. However, while it has long been shown that Nietzsche’s provocative language about “breeding” and “masters and slaves” was intended to enhance culture through competition, it is still an open question how and when Shaw supported biological eugenics. Via Nietzsche’s “philosophical breeding,” this article presents a new reading of Shaw’s Man and Superman: on the one (...) hand, it contrasts Nietzsche’s philosophical Übermensch with Shaw’s eugenic Superman; and on the other hand, it connects Nietzsche’s agonistic enhancement of culture with Shaw’s philosophical reflections in “Don Juan in Hell.” In contrast to Tanner’s support of eugenic breeding in his Revolutionist’s Handbook, Shaw’s Don Juan remarkably resembles Nietzsche’s notion of “philosophical breeding” toward a more competent, truthful, and autonomous orientation that is needed in increasingly complex global politics. (shrink)

I present three versions –Grimm, Offe and Streeck—of a general argument that is often used to establish that the EU-institutions meets a legitimacy-disabling condition, the so called “no demos” argument (II), embedding them in the context of the notorious “democratic deficit” suspicions against the legal system and practice of the EU (I). After examining the logical structure behind the no-demos intuition considered as an argument (III), I present principled reasons by Möllers and Habermas that show why the “no demos” argument (...) fails to have bite in discussions of the legitimacy and status of the supranational level in the multi-level EU-architecture. These are complemented by another principled reason arising from John Dewey’s conception of the “public” as a clearer alternative for the “popular” requirement of democratic legitimation (IV). I conclude that all three conceptions together suggest that the hunt after pre-politically existing peoples as foundations of democratic legitimacy expresses no more than methodological nationalism without any footing in the material and conceptual requirements of democratic legitimation. Given the absence of a principled problem with the legitimacy of the priority and interference of supranational EU-law in the national legal and political orders, there are thus also no principled reasons to abandon or discredit the European project in the absence of a European nation or society. (shrink)

Everyone agrees that we can’t change the past. But what about the future? Though the thought that we can change the future is familiar from popular discourse, it enjoys virtually no support from philosophers, contemporary or otherwise. In this paper, I argue that the thesis that the future is mutable has far more going for it than anyone has yet realized. The view, I hope to show, gains support from the nature of prevention, can provide a new way of responding (...) to arguments for fatalism, can account for the utility of total knowledge of the future, and can help in providing an account of the semantics of the English progressive. On the view developed, the future is mutable in the following sense: perhaps, once, it was true that you would never come to read a paper defending the mutability of the future. And then the future changed. And now you will. (shrink)

This paper presents an analysis of face emoji (disc-shaped pictograms with stylized facial expressions) that accompany written text. We propose that there is a use of face emoji in which they comment on a target proposition expressed by the accompanying text, as opposed to making an independent contribution to discourse. Focusing on positively valenced and negatively valenced emoji (which we gloss as _happy_ and _unhappy_, respectively), we argue that the emoji comment on how the target proposition bears on a contextually (...) provided discourse value endorsed by the author. Discourse values embody what an author desires, aspires to, wishes for, or hopes for. Our analysis derives a range of non-trivial generalizations, including (i) ordering restrictions with regards to the placement of emoji and text, (ii) cases of apparent mixed emotions, and (iii) cases where the lexical content of the accompanying text influences the acceptability of a face emoji. (shrink)

At least since Aristotle's famous discussion of the sea-battle tomorrow in On Interpretation 9, philosophers have been fascinated by a rich set of interconnecte.

We show that cast shadows can have a significant influence on the speed of visual search. In particular, we find that search based on the shape of a region is affected when the region is darker than the background and corresponds to a shadow formed by lighting from above. Results support the proposal that an early-level system rapidly identifies regions as shadows and then discounts them, making their shapes more difficult to access. Several constraints used by this system are mapped (...) out, including constraints on the luminance and texture of the shadow region, and on the nature of the item casting the shadow. Among other things, this system is found to distinguish between line elements (items containing only edges) and surface elements (items containing visible surfaces), with only the latter deemed capable of casting a shadow. (shrink)

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...) these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

There is a familiar debate between Russell and Strawson concerning bivalence and ‘the present King of France’. According to the Strawsonian view, ‘The present King of France is bald’ is neither true nor false, whereas, on the Russellian view, that proposition is simply false. In this paper, I develop what I take to be a crucial connection between this debate and a different domain where bivalence has been at stake: future contingents. On the familiar ‘Aristotelian’ view, future contingent propositions are (...) neither true nor false. However, I argue that, just as there is a Russellian alternative to the Strawsonian view concerning ‘the present King of France’, according to which the relevant class of propositions all turn out false, so there is a Russellian alternative to the Aristotelian view, according to which future contingents all turn out false, not neither true nor false. The result: contrary to millennia of philosophical tradition, we can be open futurists without denying bivalence. (shrink)

The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?

Article presenting basic methodological tenets in Goodman's philosophical development with their mutual connections, like the new riddle of indutcion, counterfactual conditionals and his use of reflective equilibrium as a methodological basis.

The most promising way of responding to arguments for the incompatibility of divine foreknowledge and human freedom (in one way or another) invokes a claim about the order of explanation: God knew (or believed) that you would perform a given action because you would, in fact, perform it, and not the other way around. Once we see this result, many suppose, we'll see that divine foreknowledge ultimately poses no threat to human freedom. This essay argues that matters are not so (...) simple, for such reasoning threatens also to reconcile divine prepunishment with human freedom. The question here is this: if you have already been ( justly) punished by God for doing something, how then could you avoid doing that thing? As we'll see, there is a strong argument that seems to show that you couldn't. However, this essay argues that if divine prepunishment rules out human freedom, then so does divine foreknowledge. The arguments are exactly parallel in certain crucial respects. At any rate, investigating the issues surrounding prepunishment can help to throw into relief the various different strategies of response to the foreknowledge argument and can bring out what their costs and commitments really are. In particular, investigating prepunishment can help to bring out the inadequacy of the “Ockhamist” reply to the argument, as well as the sense in which God's past beliefs need to depend on what we do, if we are plausibly to have a choice about those beliefs. (shrink)

This book launches a sustained defense of a radical interpretation of the doctrine of the open future. Patrick Todd argues that all claims about undetermined aspects of the future are simply false.

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

Conspiracy theories are rather a popular topic these days, and a lot has been written on things like the meaning of _conspiracy theory_, whether it’s ever rational to believe conspiracy theories, and on the psychology and demographics of people who believe conspiracy theories. But very little has been said about why people might be led to posit conspiracy theories in the first place. This paper aims to fill this lacuna. In particular, I shall argue that, in open democratic societies, citizens (...) justifiably presuppose that the epistemic authorities—journalists, academics, scientists, and so on—are engaged in a good faith pursuit of the truth. This presupposition generates certain normative expectations on the behaviors of the epistemic authorities—they ought to be open to new evidence, possess a healthy degree of skepticism, be willing to engage with opponents, and so on. So, when an epistemic authority is presented with some putatively anomalous data or an alternative hypothesis for some event or phenomena, people expect the epistemic authority to respond in a way that is consonant with these norms. In some instances, however, the epistemic authorities do not respond in this way and instead are dogmatic, dismissive, and engage in _ad hominem_. From the point of view of the citizen, there’s a tension here between how the epistemic authorities ought to behave and how they have, in fact, behaved which is best resolved either by taking the epistemic authorities less seriously or by positing a conspiracy theory. Put another way, the failure of the epistemic authorities to adhere to the norms by which we take them to be governed when presented with apparent anomalies or alternative hypotheses is one reason for which one might initially posit a conspiracy theory. (shrink)

We argue that a command and control system can undermine a commander’s moral agency if it causes him/her to process information in a purely syntactic manner, or if it precludes him/her from ascertaining the truth of that information. Our case is based on the resemblance between a commander’s circumstances and the protagonist in Searle’s Chinese Room, together with a careful reading of Aristotle’s notions of ‘compulsory’ and ‘ignorance’. We further substantiate our case by considering the Vincennes Incident, when the crew (...) of a warship mistakenly shot down a civilian airliner. To support a combat commander’s moral agency, designers should strive for systems that help commanders and command teams to think and manipulate information at the level of meaning. ‘Down conversions’ of information from meaning to symbols must be adequately recovered by ‘up conversions’, and commanders must be able to check that their sensors are working and are being used correctly. Meanwhile ethicists should establish a mechanism that tracks the potential moral implications of choices in a system’s design and intended operation. Finally we highlight a gap in normative ethics, in that we have ways to deny moral agency, but not to affirm it. (shrink)

In response to criticism, we often say – in these or similar words – “Let’s see you do better!” Prima facie, it looks like this response is a challenge of a certain kind – a challenge to prove that one has what has recently been called standing. More generally, the data here seems to point a certain kind of norm of criticism: be better. Slightly more carefully: One must: criticize x with respect to standard s only if one is better (...) than x with respect to standard s. In this paper, I defend precisely this norm of criticism – an underexplored norm that is nevertheless ubiquitous in our lives, once we begin looking for it. The be better norm is, I hope to show, continuously invoked in a wide range of ordinary settings, can undergird and explain the widely endorsed non-hypocrisy condition on the standing to blame, and apparent counterexamples to the norm are no such counterexamples at all. I further contend that, given some plausible principles, my previous “moral commitment” account of the moral standing to blame will be extensionally equivalent to the be better norm. (shrink)

The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?

I provide a manipulation-style argument against classical compatibilism—the claim that freedom to do otherwise is consistent with determinism. My question is simple: if Diana really gave Ernie free will, why isn't she worried that he won't use it precisely as she would like? Diana's non-nervousness, I argue, indicates Ernie's non-freedom. Arguably, the intuition that Ernie lacks freedom to do otherwise is stronger than the direct intuition that he is simply not responsible; this result highlights the importance of the denial of (...) the principle of alternative possibilities for compatibilist theories of responsibility. Along the way, I clarify the dialectical role and structure of “manipulation arguments”, and compare the manipulation argument I develop with the more familiar Consequence Argument. I contend that the two arguments are importantly mutually supporting and reinforcing. The result: classical compatibilists should be nervous—and if PAP is true, all compatibilists should be nervous. (shrink)

The focus of this article is on the pragmatic presuppositions involved in the use of general terms in inductive practices. The main thesis is that the problem of characterizing the assumptions underlying the projection of predicates in inductive practices and the ones underlying the classification of crtain general terms as «natural kind terms» coincide to a good extent. The reason for this, it is argued, is that both classifications, «projectibility» and «natural kind term», are attempts to answer to the same (...) semantico-epistemological phenomenon, viz. underdertermination. It is proposed a «deflationary» reading of the so-called «theory of direct reference» as to enable an evaluation of its contribution to epistemological problems associated with this kind of phenomena, as well as it is argued that a purely de facto account of projectibility is not viable. The resulting hypothesis is that the conception of «natural kind terms» is only interesting insofar as they are seen as a kind of projectible general terms and thus as parts of classifications used in natural science, more generally, in inductive practices, and that this is a perspective that makes undue metaphysical readings avoidable. (shrink)

In this paper, I argue that the cause of morally self-defeating acts at the collective level is greed and, at the individual level, an unrestrained impulse for pleasure beyond Innocent Asouzu’s primordial instinct for self-preservation and ignorance. In investigating why humans act in self-defeating ways, Asouzu came up with two possible factors responsible for self-defeating acts: The primordial instinct for selfpreservation and ignorance. Besides Asouzu’s explanation, I here argue that the problem of self-defeating acts goes beyond the primordial instinct for (...) selfpreservation and ignorance to reveal a flaw characteristic of the human condition. At the collective level, the flaw responsible for self-defeating acts is greed and the unrestrained impulse for pleasure at the individual level. I employ the conversational method to interrogate the different views on self-defeating acts from Socrates to Asouzu and show why my explanation offers a better understanding of the problem. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

Moral latitude is only ever a matter of coincidence on the most popular decision procedure in the literature on moral uncertainty. In all possible choice situations other than those in which two or more options happen to be tied for maximal expected choiceworthiness, Maximize Expected Choiceworthiness implies that only one possible option is uniquely appropriate. A better theory of appropriateness would be more sensitive to the decision maker’s credence in theories that endorse agent-centred prerogatives. In this paper, we will develop (...) and defend a modified version of this view that allows for agent-centred prerogatives and supererogation as part of its verdicts about appropriateness. (shrink)

It is widely accepted that there is what has been called a non-hypocrisy norm on the appropriateness of moral blame; roughly, one has standing to blame only if one is not guilty of the very offence one seeks to criticize. Our acceptance of this norm is embodied in the common retort to criticism, “Who are you to blame me?”. But there is a paradox lurking behind this commonplace norm. If it is always inappropriate for x to blame y for a (...) wrong that x has committed, then all cases in which x blames x (i.e. cases of self-blame) are rendered inappropriate. But it seems to be ethical common-sense that we are often, sadly, in position (indeed, excellent, privileged position) to blame ourselves for our own moral failings. And thus we have a paradox: a conflict between the inappropriateness of hypocritical blame, and the appropriateness of self-blame. We consider several ways of resolving the paradox, and contend none is as defensible as a position that simply accepts it: we should never blame ourselves. In defending this startling position, we defend a crucial distinction between self-blame and guilt. (shrink)

There is a longstanding argument that purports to show that divine foreknowledge is inconsistent with human freedom to do otherwise. Proponents of this argument, however, have for some time been met with the following reply: the argument posits what would have to be a mysterious non-causal constraint on freedom. In this paper, I argue that this objection is misguided – not because after all there can indeed be non-causal constraints on freedom (as in Pike, Fischer, and Hunt), but because the (...) success of the incompatibilist's argument does not require the real possibility of non-causal constraints on freedom. I contend that the incompatibilist's argument is best seen as showing that, given divine foreknowledge, something makes one unfree – and that this something is most plausibly identified, not with the foreknowledge itself, but with the causally deterministic factors that would have to be in place in order for there to be infallible foreknowledge in the first place. (shrink)

This paper considers Norton’s Material Theory of Induction. The material theory aims inter alia to neutralize Hume’s Problem of Induction. The purpose of the paper is to evaluate the material theory's capacity to achieve this end. After pulling apart two versions of the theory, I argue that neither version satisfactorily neutralizes the problem.

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

Our purpose in this article is to draw attention to a connection that obtains between two dilemmas from two separate spheres: sports and the law. It is our contention that umpires in the game of cricket may face a dilemma that is similar to a dilemma confronted by legal decision makers and that comparing the nature of the dilemmas, and the arguments advanced to solve them, will serve to advance our understanding of both the law and games.

There are many social psychological theories regarding the nature of prejudice, but only one major theory of prejudice reduction: under the right circumstances, prejudice between groups will be reduced with increased contact. On the one hand, the contact hypothesis has a range of empirical support and has been a major force in social change. On the other hand, there are practical and ethical obstacles to any large-scale controlled test of the hypothesis in which relevant variables can be manipulated. Here we (...) construct a spatialized model that tests the core hypothesis in a large array of game-theoretic agents. Robust results offer a new kind of support for the contact hypothesis: results in simulation do accord with a hypothesis of reduced prejudice with increased contact. The spatialized game-theoretic model also suggests a deeper explanation for at least some of the social psychological phenomena at issue. (shrink)

Environmental variability has been proposed as an important mechanism in behavioral psychology, in ecology and evolution, and in cultural anthropology. Here we demonstrate its importance in simulational studies as well. In earlier work we have shown the emergence of communication in a spatialized environment of wandering food sources and predators, using a variety of mechanisms for strategy change: imitation (Grim, Kokalis, Tafti & Kilb 2000), localized genetic algorithm (Grim, Kokalis, Tafti & Kilb 2001), and partial training of neural nets on (...) the behavior of successful neighbors (Grim, St. Denis & Kokalis 2002). Here we focus on environmental variability, comparing results for all of these mechanisms in a range of different environments: (a) environments with constant resources, (b) environments with random resources around the same mean, and (c) sine-wave variable environments with cycles of ‘boom and bust’. Communication, it turns out, is strongly favored by environmental variability on the pattern of ‘boom and bust.'. (shrink)

As well as disagreeing about how much one should donate to charity, moral theories also disagree about where one should donate. In light of this disagreement, how should the morally uncertain philanthropist allocate her donations? In many cases, one intuitively attractive option is for the philanthropist to split her donations across all of the charities that are recommended by moral views in which she has positive credence, with each charity’s share being proportional to her credence in the moral theories that (...) recommend that particular charity. Despite the fact that something like this approach is already being used by real-world philanthropists to distribute billions of dollars of donations, it is not supported by any of the approaches to moral uncertainty that have been proposed thus-far in the philosophical literature. In this paper, we will develop a bargaining-based approach to moral uncertainty that honors the proportionality intuition in favor of splitting one’s donations. We also show how this bargaining-based approach has several further advantages over the best alternative proposals. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

The principle of Conditional Excluded Middle has been a matter of longstanding controversy in both semantics and metaphysics. The principle suggests (among other things) that for any coin that isn't flipped, there is a fact of the matter about how it would have landed if it had been flipped: either it would have landed heads, or it would have landed tails. This view has gained support from linguistic evidence indicating that ‘would’ commutes with negation (e.g., ‘not: if A, would C’ (...) is equivalent to ‘if A, would not C’). There is, however, a long list of operators that similarly appear to commute with negation, even though the corresponding excluded middle principles are indefensible. We suggest that the data supporting Conditional Excluded Middle is best explained as a pragmatic effect. (shrink)

The Hong and Page ‘diversity trumps ability’ result has been used to argue for the more general claim that a diverse set of agents is epistemically superior to a comparable group of experts. Here we extend Hong and Page’s model to landscapes of different degrees of randomness and demonstrate the sensitivity of the ‘diversity trumps ability’ result. This analysis offers a more nuanced picture of how diversity, ability, and expertise may relate. Although models of this sort can indeed be suggestive (...) for diversity policies, we advise against interpreting such results overly broadly. (shrink)

This paper focuses on Nietzsche’s claim that suffering is closely related to the realization of certain perfectionist values, such as artistic excellence. According to Bernard Reginster, creative achievement consists in overcoming suffering, and therefore, suffering is an essential ingredient of creative achievement. Because suffering forms an essential part of a valuable whole in this way, Reginster argues that we must in turn value suffering ‘for its own sake’. This paper argues that Reginster’s position is open to the following objection: from (...) the fact that suffering is an essential part of a valuable whole, it does not follow that suffering is itself valuable. Rather, by taking advantage of the principle of organic unities, it would have to form an essential part of a valuable whole in a particular way. The author considers two ways the principle might be attributed to Nietzsche’s views on suffering: first, as an ‘enabling condition’, in which suffering allows for a whole that outweighs its disvalue; and second, as ‘a contributor’, in which suffering positively contributes value to the whole. The paper explores how Nietzsche’s ethics turns out to be crucially informed by this conceptual distinction. (shrink)

In the late seventeenth century Anthony Wood set forth his view of the ‘Wykehamist academic trajectory’: ‘Golden Scholars, silver Bachelors, leaden Masters and wooden Doctors.’ In the cases of Robert Pink (1573–1647) and William Twisse (1576/7–1646) this is quite plainly untrue. Yet Wood’s adage has a certain use, as it highlights the extent to which New College provided an academic community in which ‘Golden Scholars’ could find a base for their non-academic pursuits. That community of learning in the early seventeenth (...) century provides the foundation for this article, which seeks to use Pink and Twisse as emblematic figures in the ambiguities of religious-political divergence during the decades before the English Civil War. Tracking their divergent paths within the political and theological conflict of the early seventeenth century shines light on the subtlety of confessional allegiance during the period, especially within the context of religious learning with which both were involved. The paths down which they took their New College education do help to complicate the terms which have been applied to the period, and the context of the political positions they took. Emphasised in recent studies of the Elizabethan and Jacobean periods has been the overlap between academic, religious, and political concerns in the shaping of the English Church. This article will argue that the seeming incompatibility of Pink and Twisse is not so dramatic when we turn the clock back to the early part of the century, and highlight the strength of intellectual and institutional ties. The points of division between Twisse and Pink were theological and political; but they were also collegiate. Moreover, they were not insuperable boundaries, and the divide is bridged by the other figures considered in this article. (shrink)

In this paper, I introduce a problem to the philosophy of religion – the problem of divine moral standing – and explain how this problem is distinct from (albeit related to) the more familiar problem of evil (with which it is often conflated). In short, the problem is this: in virtue of how God would be (or, on some given conception, is) “involved in” our actions, how is it that God has the moral standing to blame us for performing those (...) very actions? In light of the recent literature on “moral standing”, I consider God’s moral standing to blame on two models of “divine providence”: open theism, and theological determinism. I contend that God may have standing on open theism, and – perhaps surprisingly – may also have standing, even on theological determinism, given the truth of compatibilism. Thus, if you think that God could not justly both determine and blame, then you will have to abandon compatibilism. The topic of this paper thus sheds considerable light on the traditional philosophical debate about the conditions of moral responsibility. (shrink)

We present and defend a Thomistic cosmological argument that runs independently of the principle of sufficient reason, sidestepping perhaps two of the most recurrent objections to cosmological reasoning: (a) the possibility of brute facts (i.e., that not everything needs an adequate explanation of its existence) and (b) the accusation of the composition fallacy. Drawing upon the work of Barry Miller, we show that any contingent entity like Thumper the rabbit, upon metaphysical analysis, is either a contradictory structure and therefore an (...) impossible existent or else points towards an extrinsic cause for the unity of its really distinct metaphysical parts (namely, its essence and its existence). This conclusion enables the inference that only an uncaused cause with no really distinct metaphysical parts can ultimately produce anything with really distinct metaphysical parts. We then suggest it is not implausible that this entity is God. (shrink)

Traditional wisdom dictates that statistical model outputs are estimates, not measurements. Despite this, statistical models are employed as measurement instruments in the social sciences. In this article, I scrutinize the use of a specific model—the logit model—for psychological measurement. Given the adoption of a criterion for measurement that I call comparability, I show that the logit model fails to yield measurements due to properties that follow from its fixed residual variance.

It has previously been argued that Schopenhauer is a distinctive type of virtue ethicist (Hassan, 2019). The Aristotelian version of virtue ethics has traditionally been accused of being fundamentally egoistic insofar as the possession of virtues is beneficial to the possessor, and serve as the ultimate justification for obtaining them. Indeed, Schopenhauer himself makes a version of this complaint. In this chapter, I investigate whether Schopenhauer’s moral framework nevertheless suffers from this same objection of egoism in light of how he (...) conceives of the relationship between morality and ascetic 'salvation'. Drawing upon his published works and letters, I argue that Schopenhauer has the resources to avoid the objection. Because of his idiosyncratic metaphysics, I argue that Schopenhauer can also avoid the problem of self-effacement which may result from the way in which he avoids the egoism objection. The discussion thus intends to establish further nuance to Schopenhauer’s conception of virtue and its value. (shrink)

Incompatibilism about responsibility and determinism is sometimes directly construed as the thesis that if we found out that determinism is true, we would have to give up the reactive attitudes. Call this "the consequence". I argue that this is a mistake: the strict modal thesis does not entail the consequence. First, some incompatibilists (who are also libertarians) may be what we might call *resolute responsibility theorists* (or "flip-floppers"). On this view, if we found out that determinism is true, this would (...) not be to find out that no one is responsible; instead, what this would suggest is that incompatibilism is after all false. Second, some incompatibilists may instead deny the claim that if we found out that no one deserves the reactiveattitudes, we would have to give up the reactive attitudes. Call this position *innocent incompatibilism*. I explore several different reasons why the fact that no one deserves the reactive attitudes likely does not translate into a requirement for us to give up the reactive attitudes. The upshot: incompatibilism may be practically irrelevant, even if true. (shrink)

The present article is a sympathetic critique of the most prominent contemporary articulations of family abolitionism. It examines whether queer communist family abolitionism is successful in linking an account of reasons for abolition, with an account of the means of abolition, and finally with an account of the ends of abolition in the form of speculation on a possible world without families. Recent work by M.E. O’Brien has developed these connections in ways that have never been done so thoroughly before; (...) but the rejection of states as an institutional form of political power leaves it unclear what forms of equality we could expect in such a world, and why coercive power would be unnecessary there. Family abolition is a utopian political agenda; but that utopianism needs to be constrained by a realist concern with issues of power, resources, and human capacities. This will require confronting trade-offs and imperfections within possible worlds without families. The recognition that there are many paths to a world without families, and many possible such worlds, is the first step towards aligning reasons, means, and ends and confronting the social and political trade-offs that this entails. (shrink)

Todd and Rabern (2021) mount an argument that – contra both Thomason’s (1970) supervaluationism and MacFarlane’s (2014) relativism – an “open future” view is incompatible with the principle they call “Retro-closure”, according to which today’s rain implies that yesterday it was true that it would rain a day later. In a recent piece, MacFarlane replies. This paper has two aims. First, I argue that MacFarlane’s response to Todd and Rabern is unsuccessful on its own terms. Second, I attempt to clarify (...) Todd and Rabern’s overall argument, and explain how MacFarlane’s replies should be construed within the overall dialectic. The intended result: if you want an "open future", then one's best option is a modified Peirceanism (Todd 2021); if one wants Retro-closure, one's best option is one on which there is a determinate "Thin Red Line" (a view sometimes called "Ockhamism"). However, one cannot have what supervaluationism and relativism both promise, viz., a view that preserves both. (shrink)